vector dot product related problem